On the theory of specification, implementation, and parametrization of abstract data types

ABSTRACT. In the framework of a category spec of equational speoficatlons of abstract data types, tmplementations are defined to be certain pairs of morphlsms with a common target Th~s concept covers, among others, arbitrary recurslon schemes for defining the derived operations It is shown that for given single steps of a multilevel tmplementatlon, there is always a multtlevel tmplementatlon composed of these steps, but there ts no effective construction of th~s overall implementauon Some suggestions are gtven for practtcal composition of tmplementat~ons Utdlzmg pushouts Parametric specifications and parameter assignments are defined to be spectal morphlsms in spec, and parameter substitution ~s made precise by means of pushouts Since actual parameters can agam be parametrtc, parameter subsututton can be tterated. Thts tterauon ts shown to be assoctatwe Whtle the subject is being treated on a syntactical level in terms of speclfieauons, the imtlal algebra approach ts adopted as providing an appropriate semantics for spec~ficauons, and the effects of the present concepts and results on the initial algebras are studie

Can reindeer husbandry management slow down the shrubification of the Arctic?

Rapid climate change is threatening the stability and functioning of Arctic ecosystems. As the Arctic warms, shrubs have been widely observed to expand, which has potentially serious consequences for global climate regulation and for the ecological processes characterising these ecosystems. However, it is currently unclear why this shrubification has been spatially uneven across the Arctic, with herbivory being suggested as a key regulating factor. By taking advantage of freely available satellite imagery spanning three decades, we mapped changes in shrub cover in the Yamal Peninsula and related these to changes in summer temperature and reindeer population size. We found no evidence that shrubs had expanded in the study site, despite increasing summer temperatures. At the same time, herbivore pressure increased significantly, with the local reindeer population size growing by about 75%. Altogether, our results thus point towards increases in large herbivore pressure having compensated for the warming of the Peninsula, halting the shrubification of the area. This suggests that strategic semi-domesticated reindeer husbandry, which is a common practice across the Eurasian Arctic, could represent an efficient environmental management strategy for maintaining open tundra landscapes in the face of rapid climate change

Unsteady Flow and Whirl-Inducing Forces in Axial-Flow Compressors: Part I—Experiment

An experimental and theoretical investigation has been conducted to evaluate the effects seen in axial-flow compressors when the centerline of the rotor is displaced from the centerline of the static structure of the engine. This creates circumferentially nonuniform rotor-tip clearances, unsteady flow, and potentially increased clearances if the rotating and stationary parts come in contact. The result not only adversely affects compressor stall margin, pressure rise capability, and efficiency, but also generates an unsteady, destabilizing, aerodynamic force, called the Thomas/Alford force, which contributes significantly to rotor whirl instabilities in turbomachinery. Determining both the direction and magnitude of this force in compressors, relative to those in turbines, is especially important for the design of mechanically stable turbomachinery components. Part I of this two-part paper addresses these issues experimentally and Part II presents analyses from relevant computational models. Our results clearly show that the Thomas/Alford force can promote significant backward rotor whirl over much of the operating range of modern compressors, although some regions of zero and forward whirl were found near the design point. This is the first time that definitive measurements, coupled with compelling analyses, have been reported in the literature to resolve the long-standing disparity in findings concerning the direction and magnitude of whirl-inducing forces important in the design of modern axial-flow compressors

Circumpolar Arctic vegetation: a hierarchic review and roadmap toward an internationally consistent approach to survey, archive and classify tundra plot data

Satellite-derived remote-sensing products are providing a modern circumpolar perspective of Arctic vegetation and its changes, but this new view is dependent on a long heritage of ground-based observations in the Arctic. Several products of the Conservation of Arctic Flora and Fauna are key to our current understanding. We review aspects of the PanArctic Flora, the Circumpolar Arctic Vegetation Map, the Arctic Biodiversity Assessment, and the Arctic Vegetation Archive (AVA) as they relate to efforts to describe and map the vegetation, plant biomass, and biodiversity of the Arctic at circumpolar, regional, landscape and plot scales. Cornerstones for all these tools are ground-based plant-species and plant-community surveys. The AVA is in progress and will store plot-based vegetation observations in a public-accessible database for vegetation classification, modeling, diversity studies, and other applications. We present the current status of the Alaska Arctic Vegetation Archive (AVA-AK), as a regional example for the panarctic archive, and with a roadmap for a coordinated international approach to survey, archive and classify Arctic vegetation. We note the need for more consistent standards of plot-based observations, and make several recommendations to improve the linkage between plot-based observations biodiversity studies and satellite-based observations of Arctic vegetation

Feminist phenomenology and the woman in the running body

Modern phenomenology, with its roots in Husserlian philosophy, has been taken up and utilised in a myriad of ways within different disciplines, but until recently has remained relatively under-used within sports studies. A corpus of sociological-phenomenological work is now beginning to develop in this domain, alongside a longer standing literature in feminist phenomenology. These specific social-phenomenological forms explore the situatedness of lived-body experience within a particular social structure. After providing a brief overview of key strands of phenomenology, this article considers some of the ways in which sociological, and particularly feminist phenomenology, might be used to analyse female sporting embodiment. For illustrative purposes, data from an autophenomenographic project on female distance running are also included, in order briefly to demonstrate the application of phenomenology within sociology, as both theoretical framework and methodological approach

Scoping studies: advancing the methodology

Abstract Background Scoping studies are an increasingly popular approach to reviewing health research evidence. In 2005, Arksey and O'Malley published the first methodological framework for conducting scoping studies. While this framework provides an excellent foundation for scoping study methodology, further clarifying and enhancing this framework will help support the consistency with which authors undertake and report scoping studies and may encourage researchers and clinicians to engage in this process. Discussion We build upon our experiences conducting three scoping studies using the Arksey and O'Malley methodology to propose recommendations that clarify and enhance each stage of the framework. Recommendations include: clarifying and linking the purpose and research question (stage one); balancing feasibility with breadth and comprehensiveness of the scoping process (stage two); using an iterative team approach to selecting studies (stage three) and extracting data (stage four); incorporating a numerical summary and qualitative thematic analysis, reporting results, and considering the implications of study findings to policy, practice, or research (stage five); and incorporating consultation with stakeholders as a required knowledge translation component of scoping study methodology (stage six). Lastly, we propose additional considerations for scoping study methodology in order to support the advancement, application and relevance of scoping studies in health research. Summary Specific recommendations to clarify and enhance this methodology are outlined for each stage of the Arksey and O'Malley framework. Continued debate and development about scoping study methodology will help to maximize the usefulness and rigor of scoping study findings within healthcare research and practice

Sporting embodiment: sports studies and the (continuing) promise of phenomenology

Whilst in recent years sports studies have addressed the calls ‘to bring the body back in’ to theorisations of sport and physical activity, the ‘promise of phenomenology’ remains largely under-realised with regard to sporting embodiment. Relatively few accounts are grounded in the ‘flesh’ of the lived sporting body, and phenomenology offers a powerful framework for such analysis. A wide-ranging, multi-stranded, and interpretatively contested perspective, phenomenology in general has been taken up and utilised in very different ways within different disciplinary fields. The purpose of this article is to consider some selected phenomenological threads, key qualities of the phenomenological method, and the potential for existentialist phenomenology in particular to contribute fresh perspectives to the sociological study of embodiment in sport and exercise. It offers one way to convey the ‘essences’, corporeal immediacy and textured sensuosity of the lived sporting body. The use of Interpretative Phenomenological Analysis (IPA) is also critically addressed. Key words: phenomenology; existentialist phenomenology; interpretative phenomenological analysis (IPA); sporting embodiment; the lived-body; Merleau-Pont

Subjective wellbeing among young dancers with disabilities

Little is known about the subjective wellbeing (SWB) of young dancers with disabilities and whether it changes over time. The aim of this study was to assess the SWB of young dancers with disabilities enrolled on an extracurricular inclusive talent development programme in the UK at two time points. Twenty-two young dancers completed the Personal Wellbeing Index for people with intellectual disability at the beginning of the academic year. Thirteen dancers completed the questionnaire a second time towards the end of the academic year. Scores were compared with normative values, and a Wilcoxon Signed Rank test was conducted to assess change over time. The participants reported high levels of SWB at both time points in comparison with normative values. There was no significant change in wellbeing scores over time. The study contributes to a growing body of literature suggesting that people with disabilities have high levels of SWB. Although causality cannot be assumed, inclusive dance programmes may contribute to SWB and allow young people with disabilities to overcome the barriers associated with physical activity